Expressing Forms as a sum of Pfaffians

Let A= (a_{ij}) be a symmetric non-negative integer 2k x 2k matrix. A is homogeneous if a_{ij} + a_{kl}=a_{il} + a_{kj} for any choice of the four indexes. Let A be a homogeneous matrix and let F be a general form in C[x_1, \dots x_n] with 2deg(F) = trace(A). We look for the least integer, s(A), so that F= pfaff(M_1) + \cdots + pfaff(M_{s(A)}), where the M_i's are 2k x 2k skew-symmetric matrices of forms with degree matrix A. We consider this problem for n= 4 and we prove that s(A) < k+1 for all A

A criterion for detecting the identifiability of symmetric tensors of size three

We prove a criterion for the identifiability of symmetric tensors $P$ of type $3\times ...\times 3$, $d$ times, whose rank $k$ is bounded by $(d^2+2d)/8$. The criterion is based on the study of the Hilbert function of a set of points $P_1,..., P_k$ which computes the rank of the tensor $P$

Triple-Point Defective Ruled Surfaces

In arXive:0705.3912 we studied triple-point defective very ample linear systems on regular surfaces, and we showed that they can only exist if the surface is ruled. In the present paper we show that we can drop the regularity assumption, and we classify the triple-point defective very ample linear systems on ruled surfaces.Comment: 15 page

On the identifiability of ternary forms

We describe a new method to determine the minimality and identifiability of a Waring decomposition $A$ of a specific form (symmetric tensor) $T$ in three variables. Our method, which is based on the Hilbert function of $A$, can distinguish between forms in the span of the Veronese image of $A$, which in general contains both identifiable and not identifiable points, depending on the choice of coefficients in the decomposition. This makes our method applicable for all values of the length $r$ of the decomposition, from $2$ up to the generic rank, a range which was not achievable before. Though the method in principle can handle all cases of specific ternary forms, we introduce and describe it in details for forms of degree $8$

Sets computing the symmetric tensor rank

Let n_d denote the degree d Veronese embedding of a projective space P^r. For any symmetric tensor P, the 'symmetric tensor rank' sr(P) is the minimal cardinality of a subset A of P^r, such that n_d(A) spans P. Let S(P) be the space of all subsets A of P^r, such that n_d(A) computes sr(P). Here we classify all P in P^n such that sr(P) < 3d/2 and sr(P) is computed by at least two subsets. For such tensors P, we prove that S(P) has no isolated points